Workflows with Passbacks and Incremental Verification of Their Correctness
نویسندگان
چکیده
منابع مشابه
Formalization of Workflows and Their Correctness Issues 31
In this paper, main components of a workkow system that are relevant to the cor-rectness in the presence of concurrency are formalized based on set theory and graph theory. The formalization which constitutes the theoretical basis of the correctness criterion provided can be summarized as follows: Activities of a workkow are represented through a notation based on set theory to make it possible...
متن کاملdetection of volatile compounds of medicinal plants with some nano-sorbents using modified or new methodologies and investigation of antioxidant activity of their methanolic extracts
in this work, a novel and fast method for direct analysis of volatile compounds (davc) of medicinal plants has been developed by holding a filament from different parts of a plant in the gc injection port. the extraction and analysis of volatile components of a small amount of plant were carried out in one-step without any sample preparation. after optimization of temperature, extraction time a...
Verification of Vortex Workflows
Vortex is a workflow language to support decision making activities. It centers around gathering and computing attributes of input objects. The semantics of Vortex is declarative, and the dependency graphs of Vortex programs are acyclic. This paper discusses the application of symbolic model checking techniques to verification of Vortex programs. As a case study we used a Vortex program MIHU fo...
متن کاملarchitecture and engineering of nanoscale sculptured thin films and determination of their properties
چکیده ندارد.
15 صفحه اولSoftware Correctness Verification
It is important to note that in most cases, software correctness verification, as described by Richard Linger is informed by correctness questions where mathematical verification follows (if necessary). A popular approach in software correctness verification is the translation of a specific program as well as its criteria of correctness into a mathematical logical formula and in this regard all...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2012
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.e95.d.989